A test sequence selection method for statecharts
نویسندگان
چکیده
This paper presents a method for the selection of test sequences from statecharts It is shown that a statechart can be transformed into a ow graph modeling the ow of both control and data in the statechart The transformation enables the application of conventional control and data ow analysis techniques to the test sequence selection from statecharts The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired ow of control and data expressed in statecharts
منابع مشابه
Holistic testing with basic statecharts
Based on prior work, this paper extends our holistic approach to generation and selection of test cases based on statecharts. A basic definition of statecharts is given. Furthermore, test selection criteria and a test process are presented.
متن کاملGenerating Test Sequences from Statecharts for Concurrent Program Testing
This paper presents an approach to specification-based testing of concurrent programs with representative test sequences generated from Statecharts. Representative test sequences are a subset of all possible interleavings of concurrent events that define the behaviors of a concurrent program. Because a program’s correctness may be determined by checking whether a program implemented all behavio...
متن کاملModeling Behavior with Interaction Diagrams in a UML and OCL Tool
This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative to sequence diag...
متن کاملA Controlled Experimental Evaluation of Test Cases Generated from UML Diagrams
This paper presents a single project experiment on the fault revealing capabilities of test sets that are generated from UML statecharts and sequence diagrams. The results of this experiment show that the statechart test sets do better at revealing unit level faults than the sequence diagram test sets, and the sequence diagram test sets do better at revealing integration level faults than the s...
متن کاملAutomatic Test Generation from Statecharts Using Model Checking
This paper describes a method for automatic generation of tests from specifications written in Statecharts. These tests are to be applied to an implementation to validate the consistency of the implementation with respect to the specification. For test coverage, we adapt the notions of control-flow coverage and data-flow coverage used traditionally in software testing to Statecharts. In particu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw. Test., Verif. Reliab.
دوره 10 شماره
صفحات -
تاریخ انتشار 2000